Computational Formalization era
Alan Newell and Herbert A. Simon consolidated computational formalization in cognitive psychology by developing production-rule based architectures and the General Problem Solver, turning qualitative findings into executable models. John R. Anderson advanced ACT-R during the 1980s and 1990s, presenting a unified cognitive architecture that accounts for memory, attention and problem solving through specific algorithmic mechanisms. James L. McClelland and David Rumelhart propelled parallel distributed processing, showing how distributed representations can model perception, memory and language and challenging purely symbolic accounts. John Laird, Paul Rosenbloom and Allen Newell contributed to Soar, a general cognitive architecture that integrates rules, learning and planning to produce versatile intelligent behavior within a single formal framework.